关于命题逻辑公式的下列说法正确的有：A:公式是满足一定排列组合规则的符号串 B:(p∧q)和(q∧p)是相同的公式 C:一个否定式的否定不再是否定式 D:公式的数量是无穷的，但每个公式的长度总是有穷的 答案: 公式是满足一定排列组合规则的符号串; 公式的数量是无穷的，但每个公式的长度总是有穷的